Essential Variables and Separable Sets in Universal Algebra
نویسندگان
چکیده
The study of essential and strongly essential variables in functions defined on finite sets is a part of k-valued logic. We extend the main definitions from functions to terms. This allows us to apply concepts and results of Universal Algebra. On the basis of the concept of a separable set of variables in a term we introduce a new notion of complexity of terms, algebras and varieties and give examples.
منابع مشابه
Fuzzy universal algebras on $L$-sets
This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...
متن کاملMultiplication operators on Banach modules over spectrally separable algebras
Let $mathcal{A}$ be a commutative Banach algebra and $mathscr{X}$ be a left Banach $mathcal{A}$-module. We study the set ${rm Dec}_{mathcal{A}}(mathscr{X})$ of all elements in $mathcal{A}$ which induce a decomposable multiplication operator on $mathscr{X}$. In the case $mathscr{X}=mathcal{A}$, ${rm Dec}_{mathcal{A}}(mathcal{A})$ is the well-known Apostol algebra of $mathcal{A}$. We s...
متن کاملTHE INTERNAL IDEAL LATTICE IN THE TOPOS OF M-SETS
We believe that the study of the notions of universal algebra modelled in an arbitarry topos rather than in the category of sets provides a deeper understanding of the real features of the algebraic notions. [2], [3], [4], [S], [6], [7], [13], [14] are some examples of this approach. The lattice Id(L) of ideals of a lattice L (in the category of sets) is an important ingredient of the categ...
متن کاملOn Generic Separable Objects
The notion of separable (alternatively unramified, or decidable) objects and their place in a categorical theory of space have been described by Lawvere (see [9]), drawing on notions of separable from algebra and unramified from geometry. In [10], Schanuel constructed the generic separable object in an extensive category with products as an object of the free category with finite sums on the du...
متن کاملOn the complexity of finite valued functions
The essential variables in a finite function f are defined as variables which occur in f and weigh with the values of that function. The number of essential variables is an important measure of complexity for discrete functions. When replacing some variables in a function with constants the resulting functions are called subfunctions, and when replacing all essential variables in a function wit...
متن کامل